Hales, Thomas, US-amerikanischer Mathematiker, * San Antonio (Kalifornien) 4. 6. 1958, befasst sich v. a. mit Problemen der Algbera und der Geometrie. Hales wurde bekannt durch seinen 1998 vorgelegten Computerbeweis der Kepler-Vermutung. Obwohl dieser Beweis wegen seiner Komplexität und seines U...